Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
81	14:440:127– Introduction to Computers for Engineers Notes for Lecture 13 Rutgers University, Spring[removed] Add to Reading List Source URL: www.blaseur.com Language: English - Date: 2011-02-14 16:06:37 Programming idioms Recursion Theory of computation Fibonacci number Function Factorial Tak Fixed-point combinator Primitive recursive function Mathematics Computability theory Functions and mappings
82	Fast(er) R Code Paul Teetor R/Finance Conference May 2012 In R, “for” loops and data copying Add to Reading List Source URL: www.rinfinance.com Language: English - Date: 2012-05-10 20:53:20 Theoretical computer science Computing Fold Fixed-point combinator Filter COMPASS/Sample Code Maths24 Software engineering Recursion Higher-order functions
83	14 Vittorio: Riccardo: Sergio: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Relational model Lambda calculus Formal methods FO Finite model theory Relational algebra Fixed-point combinator Modal logic Theoretical computer science Applied mathematics Mathematical logic
84	Journal of Statistical Physies, Iiol. 19, No. 1, 1978 Quantitative Universality for a Class of Nonlinear Transformations Mitchell J. Feigenbaum ~ Received October 31, 1977 Add to Reading List Source URL: www.signallake.com Language: English - Date: 2013-03-16 16:53:36 Recurrence relation Theory of computation Attractor XTR Fixed points Spectral theory of ordinary differential equations Fixed-point combinator Mathematics Mathematical analysis Algebra
85	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-02-09 08:45:48 Lambda calculus Functional programming Square root Scheme Monad Fixed-point combinator Software engineering Declarative programming Mathematics
86	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory
87	Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-08-06 05:03:43 Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics
88	¯ The λλ-calculus A dual calculus for unconstrained strategies Alexis Goyet PPS, Universit´ Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Formal methods Computability theory Lambda calculus Function Combinatory logic Fixed-point combinator Mathematics Mathematical logic Theoretical computer science
89	Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2006-10-26 19:02:16 Computer science Functional languages Logic in computer science Models of computation Combinatory logic Fixed-point combinator ML Theoretical computer science Lambda calculus Software engineering
90	Icon programming language quick reference General conventions The comment symbol is #; comments extend to the end of the line. Numeric constants can be written in exponential notation (e.g, 1.7e-4 for 1:7 10−4 ) or Add to Reading List Source URL: infohost.nmt.edu Language: English - Date: 2003-06-30 15:16:41 Procedural programming languages Lambda calculus ALGOL 68 Comparison of programming languages Icon Function Fixed-point combinator Combinatory logic Standard ML Software engineering Computing Programming language theory

UPDATE